Axiom A

#	Item
171	Is ZF a hack? Comparing the complexity of some (formalist interpretations of ) Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2008-04-30 04:22:51 Set theory Type theory Model theory Z notation Automath Axiom of choice Axiom schema of replacement New Foundations Axiom Mathematical logic Logic Mathematics
172	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-07-07 15:41:39 Dynamical systems Attractor Hénon map Chaos theory Solenoid Axiom A Hyperbolic set Stable manifold Ergodic theory Topology Mathematical analysis Mathematics